- 双语例句 更多例句
1、
2、
3、
该方法分析了时序图的语义信息并添加语义约束规约生成可测试模型，从中提取相关信息生成有限状态机；
互联网摘选
4、
该方法采用XYZ/E描述，首先确保规范与被测软件的语义一致，其次，利用XYZ/E规范的逻辑程序属性，实现了对测试用例中输出期望的Prolog自动推导求值。
互联网摘选
5、
在该模型中，定义了基于流程定义语言本体的语义映射规则及映射的具体过程，对流程定义语言本体进行了语义分析，实现了对流程信息的语义层次描述；
互联网摘选
6、
该规范的语义是应当创建已引用对象的一个副本，并指定另一个名称。
互联网摘选
7、
本体作为共享概念的形式化说明，用于表达数据源的语义、识别和建立概念间的语义关联、达成语义一致，提供了语义异构问题的解决途径。
互联网摘选
8、
DTD是一种基于语法的XML规范形式化定义，在考虑结构完整性约束时，一种基于pattern的XML规范形式化定义XSCs模式可以与其联合使用，使得生成的DTD具有更为丰富的语义。
互联网摘选
9、
An Ontology-based Time Semantic Specification and Verification Approach for Web Service
一种基于Ontology的WEB服务时间约束定义及验证方法
互联网摘选
- 相关词组
- mode declaration pattern specification模式说明
- semantic feature语义要素;
- semantic count语义数计;
- semantic test语义检查;
- semantic code[计] 语义代码;
- minimum specification最低规格
- semantic tree语义树;
- semantic error语义误差;
- module specification模块指明
- model specification模型设定;模型说明书
- semantic priming语义启动;
- microbiological specification微生物属性
- semantic rule语义规则;
- merchantability specification商品材规格
- semantic net语义网;
- imperfect specification of model模型设定不完善
- semantic pair语义对;
- hull specification船体说明书
- high-speed semantic net高速语义网
- semantic component语义部分[成分];
- 今日热词
- 热门搜索
- lora [昆]下颚片;
- bye int.再见;再会;回头见;n.次要的东西;轮空(参赛者无对手而自动进入下一轮比赛)
- socialcam 视频拍摄分享器
- cat n.猫;猫科动物;vt.把（锚）吊放在锚架上;
- shirt n.衬衫，衬衣;内衣，汗衫;
- demotion n.降级;
- go Dutch v.各人付自己的账;
- here we go 我们开始吧;又来了;我们一起开始吧
- thousand n.一千;数千;许许多多;千位数;
- the scarlet letter [电影]红字;
- patents n.专利( patent的名词复数 );专利品;独享的权利;素质;v.获得专利权
- agenda n.议事日程;待议诸事项一览表;日常工作事项;议程（ agendum的名词复数）;
